Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications
نویسندگان
چکیده
Due to increasing demands from companies and standardisation bodies, Telelogic AB and the University of L ubeck started a research and development project in October 1996 which aims at improving the validation and, especially, the automatic test generation facilities of the SDT/ITEX tool set. The project is driven by practical experiences and practical needs, but also takes care of research results. In this paper, we present two short experience reports and describe the project.
منابع مشابه
Autolink: A Tool for Automatic Test Generation from SDL Specifications
Due to an increasing interest in SDL, MSC and TTCN based tools for validation and test generation, Telelogic AB, Malmm o, and the Institute for Telematics of the University of L ubeck are cooperating in a research and development project aiming at bringing new test generation facilities to the Tau tool set. For that purpose, a software component has been developed which supports the automatic g...
متن کاملFrom MSC and UML to SDL - Computer Software and Applications Conference, 2002. Proceedings. 26th Annual International
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported by several commercial tools, which allow for simulation and validation of SDL design specifications as well as automatic code generation from these specifications. In order to take advantages of the SDL available tools ...
متن کاملTest development for communication protocols: towards automation
In this paper we give an introduction to methods and tools for testing communication protocols and distributed systems. In this context, we try to answer the following questions: Why are we testing? What are we testing? Against what are we Ž testing?... We present the different approaches of test automation and explain the industrial point of view automatic test . Ž . execution and the research...
متن کاملImproving the Development and Validation of Viewpoint Specifications
This paper presents an overview of the application of ITU-SDL for the development of distributed systems according to the RM-ODP. The use of the advanced SITE tools for the simulation and prototype code generation of/from SDL specifications of computational as well as engineering objects is illustrated. The advantages of this approach are shown by applying it on the ODP trading function as an e...
متن کاملAutomatic road crack detection and classification using image processing techniques, machine learning and integrated models in urban areas: A novel image binarization technique
The quality of the road pavement has always been one of the major concerns for governments around the world. Cracks in the asphalt are one of the most common road tensions that generally threaten the safety of roads and highways. In recent years, automated inspection methods such as image and video processing have been considered due to the high cost and error of manual metho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997